Revert "Fix i19859" #19880

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closed

sjrd wants to merge 1 commit into main from revert-19860-fix-i19859

Member

sjrd commented Mar 5, 2024

Reverts #19860

Let's see if reverting actually fixes the CI for now.


          Revert "Fix i19859"

a5856a4

Member Author

sjrd commented Mar 5, 2024

Same error, so this is not the one. 😖

sjrd closed this

Member

hamzaremmal commented Mar 5, 2024 •

edited

Loading

main is ✅ , probably it's some flaky test that randomly fail ? :-(

Member Author

sjrd commented Mar 5, 2024

It's not main. It's test_sbt that fails.

Member

hamzaremmal commented Mar 5, 2024

But merging to main executes test_sbt too (See status of main as it is right now : https://github.com/lampepfl/dotty/actions/runs/8153715549/job/22285656087)

sjrd deleted the revert-19860-fix-i19859 branch

March 5, 2024 13:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet